<body>
    <a href="https://github.com/pascal-lab/Tai-e">Tai-e</a> is an easy-to-learn/use static analysis framework for Java.
</body>
